equivalence relation solved problems